acm software system awardの例文

• The Association for Computing Machinery recognized Eclipse with the 2011 ACM Software Systems Award on 26 April 2012.
• Adve along with other main authors were given the 2012 ACM Software System Award for the LLVM project.
• In 2009, ACM recognized the seminal contributions of his Gamma parallel database system project with the ACM Software System Award.
• The Association for Computing Machinery presented Adve, Lattner, and Evan Cheng with the 2012 ACM Software System Award for LLVM.
• To mark the popularity and significance of Tk in the 1990s, John Ousterhout was given the ACM Software System Award in 1997 for Tcl / Tk:
• In 1992, an ACM Software System Award recognized the team of Daniel G . Bobrow, Richard R . Burton, L . Peter Deutsch, Ronald Kaplan, Larry Masinter, Warren Teitelman for their pioneering work on Interlisp.
• She served as president of the Association for Computing Machinery ( ACM ) from 1984 to 1986, and, together with Alan Kay and Dan Ingalls, received the ACM Software Systems Award in 1987 and was also included in Forbes's " Twenty Who Matter ".
• The "'ACM Software System Award "'is an annual award that honors people or an organization " " for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both " ".
• In 2005, the authors of the Boyer-Moore family of provers, which includes ACL2, received the ACM Software System Award " for pioneering and engineering a most effective theorem prover ( . . . ) as a formal methods tool for verifying safety-critical hardware and software ."